Categorical dynamics